TAGs: Semicircle formula